An object-oriented CAE Framework for asynchronous Circuit Synthesis
نویسندگان
چکیده
The paper presents an interactive OSF /Motif-based design framework for high-level specification, analysis and synthesis of asynchronous control c:irc:uits. As novel contributions we propose an object~riented graphical design environment including interfaces to external state of the art asynchronous circuit synthesis tools. The proposed design environment represents a powerful CAE design system including features like geometric representation of abstract graph-based input specifications, menu-based command entry, user-defined configuration of input devices and a comprehensive set of visualisation and manipulation commands. Thus, by using this system, a c:irc:uit designer is able to specify and visualise asynchronous circuit behaviour on a high abstraction level and synthesise the corresponding logic using the built-in algorithms as well as other available non-graphical synthesis tools.
منابع مشابه
A Reusable Framework for Systems of Asynchronous Concurrent Processes
Networked information technology systems can be found in many physical, natural or social processes, which include processes implemented by an information system. Software confederations and global software systems connect many concurrent processes into asynchronous network models, e.g. via service-oriented architecture. Unfortunately, the complexity of distributed systems can be a hindrance to...
متن کاملHardware and Petri Nets: Application to Asynchronous Circuit Design
Asynchronous circuits is a discipline in which the theory of concurrency is applied to hardware design. This paper presents an overview of a design framework in which Petri nets are used as the main behavioral model for speciication. Techniques for synthesis, analysis and formal veriication of asynchronous circuits are reviewed and discussed.
متن کاملDeclarative Semantics in Object-Oriented Software Development - A Taxonomy and Survey
One of the modern paradigms to develop an application is object oriented analysis and design. In this paradigm, there are several objects and each object plays some specific roles in applications. In an application, we must distinguish between procedural semantics and declarative semantics for their implementation in a specific programming language. For the procedural semantics, we can write a ...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2013